hard real time os